Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
981	Decoupling Cache Coherence from Architecture in XML Klaus Oberecker, Aris Mallas and E. David Zotter Abstract but is buffetted by previous work in the field. Add to Reading List Source URL: www.zotter.com Language: English - Date: 2007-11-05 14:06:35 Models of computation Analysis of algorithms Computability theory Formal methods Randomized algorithm Algorithm Turing machine Applied mathematics Theoretical computer science Computer science
982	Complexity-theoretic barriers to validated solution of initial value problems Aki K AWAMURA www.cs.toronto.edu/˜kawamura/ Department of Computer Science Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2008-05-30 11:12:20 Computer science Models of computation Theory of computation Computational complexity theory Oracle machine Reduction Computability Turing machine Algorithm Theoretical computer science Computability theory Applied mathematics
983	© J.W. Schmidt, Florian Matthes[removed]State Diagrams Subject/Topic/Focus: o Introduction to State Diagrams Summary: Add to Reading List Source URL: www.sts.tu-harburg.de Language: English - Date: 2000-01-18 05:55:12 Software engineering Automata theory Digital electronics Theoretical computer science Computing State diagram Activity diagram Event Diagram UML diagrams Models of computation Infographics
984	Using Separation of Concerns for Embedded Systems Design ∗ Ethan K. Jackson Janos Sztipanovits Add to Reading List Source URL: www.isis.vanderbilt.edu Language: English - Date: 2008-06-17 13:30:56 Electronics Hardware description languages Computer architecture Concurrent computing Computer data Dataflow Denotational semantics SIGNAL Topology Computing Models of computation Software engineering
985	Gradual Typing for Functional Languages Jeremy G. Siek Walid Taha University of Colorado Add to Reading List Source URL: www.cs.colorado.edu Language: English - Date: 2006-08-29 17:25:52 Models of computation Type theory Symbol Dynamical system Lambda calculus Type safety Programming Computable Functions Normalisation by evaluation Theoretical computer science Computer science Software engineering
986	Verifying bounds on deliberation time in multi-agent systems Natasha Alechina a a Brian Logan a Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-11 12:40:28 Artificial intelligence Formal languages Models of computation Logic programming Logical syntax Intelligent agent Production system Well-formed formula Agent-based model Logic Mathematics Science
987	U.U.D.M. Report 2008:31 Two-dimensional models of type theory Richard Garner Department of Mathematics Add to Reading List Source URL: www2.math.uu.se Language: English - Date: 2008-08-22 07:18:33 Models of computation Algebraic topology Logic in computer science Function Lambda calculus Interpretation Sheaf Type theory Isomorphism Mathematics Mathematical logic Abstract algebra
988	Formalizing Information Flow Control in a Model-Driven Approach? Kurt Stenzel, Kuzman Katkalov, Marian Borek, and Wolfgang Reif Institute for Software & Systems Engineering, Augsburg University, Germany Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:13:15 Models of computation Software engineering Data modeling Theoretical computer science Systems engineering Model-driven architecture Finite-state machine UML state machine UMLsec Unified Modeling Language Automata theory Digital electronics
989	Lower Bounds for the Noisy Broadcast Problem Navin Goyal ∗ [removed] Dept. of Computer Science Rutgers University Add to Reading List Source URL: dimacs.rutgers.edu Language: English - Date: 2006-03-28 19:38:19 Computational complexity theory Communication Models of computation Asymptotic analysis Quantum information science Michael Saks Information theory Decision tree model Big O notation Theoretical computer science Applied mathematics Mathematics
990	2nd Wkshp. on Determinism & Correctness in Parallel Programming (WoDet), Newport Beach, CA, Mar[removed]Toward a Formal Semantic Framework for Deterministic Parallel Programming ∗ Michael L. Scott Add to Reading List Source URL: www.cs.rochester.edu Language: English - Date: 2011-04-01 17:50:55 Logic in computer science Programming language semantics Models of computation Causality Determinism Philosophy of science Operational semantics NP Parallel computing Theoretical computer science Applied mathematics Programming language theory